Model checking

Results: 996



#Item
61Stateless Model Checking Concurrent Programs with Maximal Causality Reduction Jeff Huang Texas A&M University, USA

Stateless Model Checking Concurrent Programs with Maximal Causality Reduction Jeff Huang Texas A&M University, USA

Add to Reading List

Source URL: parasol.tamu.edu

Language: English - Date: 2015-05-29 19:40:12
    62A ZDD-based Efficient Higher-order Model Checking Algorithm Taku Terao and Naoki Kobayashi The University of Tokyo Abstract. The model checking of higher-order recursion schemes, aka.

    A ZDD-based Efficient Higher-order Model Checking Algorithm Taku Terao and Naoki Kobayashi The University of Tokyo Abstract. The model checking of higher-order recursion schemes, aka.

    Add to Reading List

    Source URL: www-kb.is.s.u-tokyo.ac.jp

    Language: English - Date: 2015-10-06 05:34:43
      63CAnDy-TM: Comparative Analysis of Dynamic Thermal Management in Many-Cores using Model Checking Syed Ali Asadullah Bukhari* , Faiq Khalid Lodhi*, Osman Hasan*, Muhammad Shafiquet and JOrg Henkel:!: *School of Electrical

      CAnDy-TM: Comparative Analysis of Dynamic Thermal Management in Many-Cores using Model Checking Syed Ali Asadullah Bukhari* , Faiq Khalid Lodhi*, Osman Hasan*, Muhammad Shafiquet and JOrg Henkel:!: *School of Electrical

      Add to Reading List

      Source URL: cesweb.itec.kit.edu

      Language: English - Date: 2017-06-29 08:43:20
        64Program verification Generalities about software Verification – Model Checking Laure Gonnord David Monniaux

        Program verification Generalities about software Verification – Model Checking Laure Gonnord David Monniaux

        Add to Reading List

        Source URL: laure.gonnord.org

        Language: English - Date: 2016-09-18 10:59:58
          65arXiv:1605.02529v1 [cs.SE] 9 MayUnder consideration for publication in Formal Aspects of Computing Verification of interlocking systems using statistical model checking

          arXiv:1605.02529v1 [cs.SE] 9 MayUnder consideration for publication in Formal Aspects of Computing Verification of interlocking systems using statistical model checking

          Add to Reading List

          Source URL: www.info.ucl.ac.be

          Language: English - Date: 2018-07-26 05:20:31
            66Form Methods Syst Des DOIs10703y Computable fixpoints in well-structured symbolic model checking N. Bertrand · P. Schnoebelen

            Form Methods Syst Des DOIs10703y Computable fixpoints in well-structured symbolic model checking N. Bertrand · P. Schnoebelen

            Add to Reading List

            Source URL: people.rennes.inria.fr

            Language: English - Date: 2013-09-13 06:05:42
              67Model Checking Software, Solving Horn Clauses and IC3 Nikolaj Bjørner Microsoft Research SAT/SMT Summer School 2014, Semmering

              Model Checking Software, Solving Horn Clauses and IC3 Nikolaj Bjørner Microsoft Research SAT/SMT Summer School 2014, Semmering

              Add to Reading List

              Source URL: satsmt2014.forsyte.at

              Language: English - Date: 2014-07-12 08:30:08
                68Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

                Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

                Add to Reading List

                Source URL: www.cs.tsukuba.ac.jp

                Language: English - Date: 2011-06-15 23:12:41
                  69Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking Kazuhide Yasukata, Naoki Kobayashi and Kazutaka Matsuda The University of Tokyo

                  Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking Kazuhide Yasukata, Naoki Kobayashi and Kazutaka Matsuda The University of Tokyo

                  Add to Reading List

                  Source URL: www-kb.is.s.u-tokyo.ac.jp

                  Language: English - Date: 2015-10-01 02:54:54
                    70Saturation algorithms for model-checking pushdown systems∗ Arnaud Carayol Matthew Hague LIGM

                    Saturation algorithms for model-checking pushdown systems∗ Arnaud Carayol Matthew Hague LIGM

                    Add to Reading List

                    Source URL: www.cs.rhul.ac.uk

                    Language: English - Date: 2014-06-02 12:07:33